Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
721	Equational Problems and Disunification Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2004-02-16 04:15:00 Probability theory Formal languages Automated theorem proving Logic programming Unification Mathematical logic Admissible rule Model theory Word problem Mathematics Theoretical computer science Logic
722	30 Years of Higher-Order Unification G´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-09-02 10:28:36 Logic programming Mathematics Unification Sequent Linear logic Admissible rule Substitution Logic Mathematical logic Automated theorem proving
723	Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 1071 – 1080 Add to Reading List Source URL: www.proceedings2007.imcsit.org Language: English - Date: 2008-12-10 18:15:24 Software engineering Automated theorem proving Rules of inference Constraint programming Reasoning Prolog Horn clause Resolution Reasoning system Logic Artificial intelligence Logic programming
724	Certified Programming with Dependent Types Adam Chlipala September 26, 2013 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2013-10-16 10:39:33 Logic in computer science Formal methods Automated theorem proving Type theory Functional languages Proof assistant Twelf Coq ACL2 Theoretical computer science Mathematics Software engineering
725	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics
726	227 ARTIFICIAL INTELLIGENCE Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
727	Unification: A Multidisciplinary Add to Reading List Source URL: www.isi.edu Language: English - Date: 2004-12-06 11:56:54 Logic Logic programming Rules of inference Unification Theoretical computer science Occurs check Prolog First-order logic Resolution Mathematics Mathematical logic Automated theorem proving
728	Implementing a Propositional Logic Theorem Prover in Haskell Submitted 21st April 2010 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-25 07:41:14 Logical syntax Automated theorem proving Model theory First-order logic Resolution Theorem Vampire Tautology Soundness Logic Mathematical logic Propositional calculus
729	An OCaml-based automated theorem-proving textbook John Harrison, Intel Corporation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-17 14:09:54 Automated theorem proving Logic in computer science Mathematical logic Automated reasoning HOL Logic programming Algorithm Theorem Mathematics Logic Theoretical computer science
730	Chapter 9 SLD-Resolution And Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-06-17 11:47:12 Logic programming Logic in computer science Rules of inference Automated theorem proving Horn clause Resolution Clause Prolog Mathematical proof Logic Mathematics Mathematical logic